Pros and Cons of Using CHR for Type Inference
نویسندگان
چکیده
We report on using logic programming and in particular the Constraint Handling Rules extension of Prolog to provide static type analysis for the Q functional language. We discuss some of the merits and difficulties of CHR that we came across during implementation of a type inference tool.
منابع مشابه
Compensatory Efforts; A Critique of the Pros and Cons
Compensatory efforts, positive discrimination or reverse discrimination are the terms which nowadays are used in applied ethics for a set of efforts and privileges which are scheduled for compensation of the historical oppressions and discriminations imposed upon some groups and classes in the society. The mentioned oppressions and discriminations may be applied deliberately or inadvertently or...
متن کاملPros and Cons of Dancing in the Dark: Enhancing EFL learners' oral proficiency in an unplugged learning community
Recent thrust of research has focused on non-conventional classrooms for teaching to EFL learners. Amongst the newly developed models, Unplugged Classroom Model (UCM) is the most debated one as textbooks are aside and the syllabus is based on conversation-driven activities. This study sought to determine the pros and cons of unplugged teaching for enhancing EFL learners' oral proficiency. From ...
متن کاملRealized Volatility in Noisy Prices: a MSRV approach
Volatility is the primary measure of risk in modern finance and volatility estimation and inference has attracted substantial attention in the recent financial econometric literature, especially in high-frequency analyses. High-frequency prices carry a significant amount of noise. Therefore, there are two volatility components embedded in the returns constructed using high frequency prices: the...
متن کاملFeature Extraction from Product Reviews using Feature Similarity and Polarity
Research on developing techniques to access user generated content, and specifically user reviews on different products, came in the focus of the information research community in recent past. In particular, this paper addresses the problem of extracting the features from user comments of a particular product, taking advantage of a corpus with a semistructured format: pros, cons and summary. In...
متن کاملA Comparison of Job-Shop and Group Technology Using Simulation by ARENA
Production planning is performed through diverse methods according to the type of the system it is structured upon. One of the most important steps before production planning is to determine which system best fits the firm, and how the facilities should be designed. Both job-shop and group-technology systems have their own pros and cons, each of which is suitable to a specific kind of factory. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012